Extending the Carrel system to mediate in the organ and tissue allocation processes: a first approach

In this paper we extend the formalization of Carrel, a virtual organization for the procurement of tissues for transplantation purposes, in order to model also the procurement of human organs for transplants. We will focus in the organ allocation process to show how it can be formalized with the ISLANDER formalism. Also we present a first mechanism to federate the institution in several geographically-distributed platforms.Postprint (published version

Norms, organisations and semantic web services: The ALIVE approach

ALIVE is an EU FP7 STREP whose goal is the convergence of organisational and normative modelling with and service-oriented architectures (SOAs) using model-driven software engineering. The project provides a framework for designing and implementing systems, taking into account organisational, coordination and service perspectives. A key project aspect is the integration of normative systems with live SOAs, through the distributed monitoring of normative state. Here we give a brief overview of the project, explore of the domain from a service context, outline the architecture under construction and sketch the use-cases that illustrate and inform the project.Peer ReviewedPostprint (published version

Towards a goal-oriented agent-based simulation framework for high-performance computing

Currently, agent-based simulation frameworks force the user to choose between simulations involving a large number of agents (at the expense of limited agent reasoning capability) or simulations including agents with increased reasoning capabilities (at the expense of a limited number of agents per simulation). This paper describes a first attempt at putting goal-oriented agents into large agentbased (micro-)simulations. We discuss a model for goal-oriented agents in HighPerformance Computing (HPC) and then briefly discuss its implementation in PyCOMPSs (a library that eases the parallelisation of tasks) to build such a platform that benefits from a large number of agents with the capacity to execute complex cognitive agents.Peer ReviewedPostprint (author's final draft

Norms, organisations and semantic web services: The ALIVE approach

ALIVE is an EU FP7 STREP whose goal is the convergence of organisational and normative modelling with and service-oriented architectures (SOAs) using model-driven software engineering. The project provides a framework for designing and implementing systems, taking into account organisational, coordination and service perspectives. A key project aspect is the integration of normative systems with live SOAs, through the distributed monitoring of normative state. Here we give a brief overview of the project, explore of the domain from a service context, outline the architecture under construction and sketch the use-cases that illustrate and inform the project.Peer Reviewe

Collaboration between human and artificial societies

This research report is a preliminary publication of the proceedings of the European VIM project Workshop on Collaboration between Human and Artificial Societies, hold in Lanjaron (Granada), Spain, in May 1-3, . The report includes the extended abstracts of the three invited conferences by Nick Jennings, Jean-Pierre Briot and Henry Prakken, as well as the contributed papers and one full paper that were exposed at the Workshop. Main themes discussed at the workshop were: 1. Perspectives on negotiation: game theory, economics, computational dialectics. Topics: negotiation (mediation, protocols, planning), cooperative computing, computational dialectics. 2. Relevance of information: linguistics, AI, information retrieval. Topics: negotiation (synthesis of information), reflection, categorization of documents, fuzzy inference. 3. Engineering the artificial: networks, cooperative systems. Topics: correctness (protocols, compilers, execution environments), distributed systems and applications, tools and methods for distributed systems, architectures and languages. The final Proceeddings with the full papers and invited conferences will be published at the end of or early 1998.Postprint (published version

Extending the Carrel system to mediate in the organ and tissue allocation processes: a first approach

In this paper we extend the formalization of Carrel, a virtual organization for the procurement of tissues for transplantation purposes, in order to model also the procurement of human organs for transplants. We will focus in the organ allocation process to show how it can be formalized with the ISLANDER formalism. Also we present a first mechanism to federate the institution in several geographically-distributed platforms

Collaboration between human and artificial societies

This research report is a preliminary publication of the proceedings of the European VIM project Workshop on Collaboration between Human and Artificial Societies, hold in Lanjaron (Granada), Spain, in May 1-3, . The report includes the extended abstracts of the three invited conferences by Nick Jennings, Jean-Pierre Briot and Henry Prakken, as well as the contributed papers and one full paper that were exposed at the Workshop. Main themes discussed at the workshop were: 1. Perspectives on negotiation: game theory, economics, computational dialectics. Topics: negotiation (mediation, protocols, planning), cooperative computing, computational dialectics. 2. Relevance of information: linguistics, AI, information retrieval. Topics: negotiation (synthesis of information), reflection, categorization of documents, fuzzy inference. 3. Engineering the artificial: networks, cooperative systems. Topics: correctness (protocols, compilers, execution environments), distributed systems and applications, tools and methods for distributed systems, architectures and languages. The final Proceeddings with the full papers and invited conferences will be published at the end of or early 1998

Coordination, organisation and model driven approaches for dynamic, flexible, robust software and services engineering

Enterprise systems are increasingly composed of (and even functioning as) components in a dynamic, digital ecosystem. On the one hand, this new situation requires flexible, spontaneous and opportunistic collaboration activities to be identified and established among (electronic) business parties. On the other, it demands engineering methods that are able to integrate new functionalities and behaviours into running systems composed by active, distributed, interdependent processes. Here we present a multi-level architecture that combines organisational and coordination theories with model driven development, for the implementation, deployment and management of dynamic, flexible and robust service-oriented business applications, combined with a service layer that accommodates semantic service description, fine-grained semantic service discovery and the dynamic adaptation of services to meet changing circumstancesPeer Reviewe